6 ECMAScriptのデータ型と値(ECMAScript Data Types and Values)

この仕様内のアルゴリズムは、それぞれに関連する型を持つ値を操作します。使用可能な値の型は、この章で定義しています。型はECMAScript言語タイプと仕様タイプに分類されます。

Type(x)

この仕様では、「Type(x)」という表記は「xの型」という意味です。「型」または「type」は、この章で定義されているECMAScriptの言語型と仕様型を指します。

empty

「empty」という用語が値の名前であるかのように使用される場合、「どの型の値もない」と言う意味です。

6.1 ECMAScript言語型(ECMAScript Language Types)

ECMAScript言語型は、プログラマーがECMAScript言語を使用して直接操作する値に対応しています。ECMAScript言語型は、未定義、Null、ブール、文字列、シンボル、数値、BigInt、およびオブジェクトです。ECMAScript言語値は、ECMAScript言語型によって特徴付けられる値です。

6.1.1 Undefined型(The Undefined Type)

Undefined型は、undefinedと呼ばれる値を1つだけ所持します。値が割り当てられていない変数の値はundefinedです。

6.1.2 Null型(The Null Type)

Null型は、nullと呼ばれる値を1つだけ所持します。

6.1.3 ブール型(The Boolean Type)

ブール型は、trueとfalseの2つの値を持つ論理エンティティです。

6.1.4 文字列型(The String Type)

文字列型は、順番付けされた16ビット符号なし整数値のシーケンスで、最大2⁵³-1要素まで取り扱うことができます。

文字列型は、通常、実行中のECMAScriptプログラムでテキストデータを取り扱うために使用されます。
この場合、文字列の各要素はUTF-16コードポイント値として扱われます、シーケンス内の位置を占めると見なされます。
これらの位置には、負でない整数でインデックスが付けられます。
最初の要素はインデックス0で、次の要素はインデックス1です。
文字列の長さは、文字列内の要素（つまり、16ビット値）の数です。
空の文字列は長さがゼロであり、実要素は含まれていません。

文字列の内容を解釈しないECMAScript操作は、それ以上のセマンティクスを適用しません。
文字列値を解釈する操作は、各要素を単一のUTF-16コードポイントとして扱います。

ただし、ECMAScriptはこれらのコードポイントの値または関係を制限しないため、UTF-16のUnicodeコードポイントとしてさらに解釈する操作では、不正なサブシーケンスを考慮する必要があります。

上位サロゲート

下位サロゲート

サロゲートペア

このような操作は、0xD800から0xDBFFまでの数値（Unicode規格によって上位サロゲートとして、またはより正式には高サロゲートコードユニットとして定義）、0xDC00から0xDFFFまでの範囲（下位サロゲートとして、またはより正式には低サロゲートコードポイントとして定義）のすべてのコードユニットと数値を持つすべてのコードユニットに次のルールを使用して特別な処理を適用します。

• 上位サロゲートでも下位サロゲートでもないコードポイントは、同じ値のコードポイントとして解釈されます。
• 最初のコードユニットc1が上位サロゲートで、2番目のコードユニットc2が下位サロゲートである2つのコードユニットのシーケンスは、サロゲートペアであり、値は（c1-0xD800）× 0x400 +（ c2 - 0xDC00 ）+ 0x10000です （10.1.3を参照）
• 上位サロゲートまたは下位サロゲートであるが、サロゲートペアの一部ではないコードポイントは、同じ値のコードポイントとして解釈されます。

関数String.prototype.normalize（21.1.3.13を参照）を使用して、String値を明示的に正規化できます。 String.prototype.localeCompare（21.1.3.10を参照）はString値を内部的に正規化しますが、他の操作では、それらが操作する文字列を暗黙的に正規化しません。言語またはロケール依存であることが明示的に指定されている操作のみが、言語依存の結果を生成します。

この仕様では、「A、B、...の文字列連結」という句（各引数は文字列値、コード単位、またはコード単位のシーケンス）は、各引数の順序で連結された文字列値を示します。

6.1.5 シンボル型(The Symbol Type)

シンボル型は、Objectプロパティ(6.1.7)のキーとして使用できる、すべての非文字列値のセットです。

シンボル型が所持するシンボルの値は、他のシンボルと被らず（一意）、一度設定されたら変更されません。

各シンボル値は、undefinedまたは文字列値が関連付けられた[[Description]] と呼ばれる、値が変わらないプロパティを保持します。

6.1.5.1 既知シンボル(Well-Known Symbols)

既知シンボルは、この仕様のアルゴリズムによって明示的に使用される、組み込みシンボル値です。
通常、仕様アルゴリズムの拡張ポイントとして機能するプロパティのキーとして使用されます。

特に指定がない限り、既知シンボル値はすべてのレルムで共有されます (8.2)。

この仕様内では、@@nameという形式の表記法を使用して、既知シンボルを参照しています。「name」は、表1にリストされている値の1つです。

6.1.6 二つの数値型(Numeric Types)

T:unit

ECMAScriptには、NumberとBigIntの2つの組み込み数値型があります。
この仕様では、すべての数値型 T(NumberかBigInt) には、T::unitで示される乗算 ID 値が含まれています。
仕様型には、T::op という表記された、次の表のような抽象操作があります。

次表のすべての引数の型は T です。結果 列には、戻り値の型が表示され、操作の呼び出しによって突然の完了が返される可能性があるかどうかが示されます。

T::unit値とT::op操作は、ECMAScript言語の一部ではありません。
ここでは、ECMAScript言語のセマンティクスの仕様を支援する目的でのみ定義されています。
他の抽象操作は、この仕様全体で定義されています。

数値型は一般的に精度の低下や切り捨てなしでは変換できないため、ECMAScript言語はこれらの型間で暗黙的な変換を提供しません。
プログラマーは、別の型を必要とする関数を呼び出すときに、明示的にNumber関数とBigInt関数を呼び出して変換する必要があります。

6.1.6.1 数値型(The Number Type)

数値型は正確に18437736874454810627（つまり、2⁶⁴-2⁵³+3）の値を持ち、2進浮動小数点演算のIEEE標準で指定されている倍精度64ビット形式IEEE 754-2019 の値を表します。
ただし、IEEE標準の9007199254740990（つまり、2⁵³-2）を除く「Not-a-Number」値は、ECMAScriptでは単一の特別なNaN値として表されます。(NaN 値はプログラム式 NaN によって生成されることに注意してください。一部の実装では、外部コードはさまざまな Not-a-Number 値の違いを検出できる場合がありますが、そのような動作は実装に依存します。ECMAScriptコードに対して、すべてのNaN値は互いに区別できません。

正の無限大と負の無限大と呼ばれる2つの特別な値があります。これらの値は、説明のために、それぞれ記号+∞および-∞でも記述されます。
（これらの2つの無限の数値は、プログラム式+ Infinity（または単にInfinity）および-Infinityによって生成されます。）

その他の18437736874454810624（つまり、2⁶⁴-2⁵³）の値は有限数と呼ばれます。これらの半分は正の数で、半分は負の数です。すべての有限の正の数値に対して、同じ大きさの対応する負の値があります。

正のゼロと負のゼロの両方があることに注意してください。 これらの値は、それぞれ記号+0および-0と記述されます。
（これらの2つの異なるゼロの数値は、プログラム式+0（または単に0）と-0によって生成されます。）

18437736874454810622（つまり、2⁶⁴-2⁵³-2）の有限非ゼロ値には、次の2種類があります。

18428729675200069632（つまり、2⁶⁴-2⁵⁴）は、次の形式で正規化されます

s × m × 2^e

sは+1または-1、mは2⁵³より小さく2⁵²以上の正の数学的整数、eは-1074から971までの数学的整数です。

残りの9007199254740990（つまり、2⁵³-2）の値は、次の形式で非正規化されます

s × m × 2^e

ここで、sは+1または-1、mは2⁵²未満の正の数学的整数、eは-1074です。

絶対値が253以下の正と負の数学的整数はすべて、数値型で表現できます（実際、数学整数0には+0と-0の2つの表現があります）。

有限数は、それが非ゼロであり、それを表すために使用される数学的整数m（上記の2つの形式のいずれか）が奇数である場合、奇数の仮数を持ちます。

数値

この仕様書では、「xの数値」という語句は、xが正確な実際の数学的量（πなどの無理数でさえあり得る）を表す場合、次の方法で選択された数値を意味します。

数値型のすべての有限値のセットを考えます。
-0が削除され、数値型で表現できない2つの追加値、つまり21024（+1×2⁵³×2⁹⁷¹）と-2¹⁰²⁴（-1×2⁵³×2⁹⁷¹）です。
xに値が最も近いこのセットのメンバーを選択します。
セットの2つの値が等しく近い場合は、仮数が偶数の値が選択されます。
この目的のために、2つの追加の値2¹⁰²⁴と-2¹⁰²⁴は、仮数をもつと見なされます。
最後に、2¹⁰²⁴を選択した場合は、それを+∞に置き換えます。
-2¹⁰²⁴を選択した場合は、それを-∞に置き換えます。
+0が選択された場合、xがゼロより小さい場合にのみ、それを-0で置き換えます。
他の選択された値は変更されずに使用されます。
結果は、xの数値です。
（この手順は、IEEE 754-2019 roundTiesToEvenモードの動作に正確に対応しています。）

一部のECMAScriptオペレーターは、-2³¹から2³¹-1まで、または0から2¹⁶-1までの範囲など、特定範囲の整数のみを扱います。
これらの演算子はNumber型の任意の値を受け入れますが、最初に各値を範囲の整数値に変換します。7.1項の数値変換演算の説明を参照してください。

Number::unitの値は1です。

6.1.6.1.1 Number::unaryMinus ( x )

6.1.6.1.2 Number::bitwiseNOT ( x )

6.1.6.1.3 Number::exponentiate ( base, exponent )

baseをexponent乗した結果を実装依存の近似値で返します。

6.1.6.1.4 Number::multiply ( x, y )

* MultiplicativeOperatorは乗算を実行し、xとyの積を生成します。乗算は可換です。乗算の精度は有限であるため、ECMAScriptでは常に関連付けられるとは限りません。

浮動小数点乗算の結果は、IEEE 754-2019バイナリ倍精度演算の規則によって制御されます。

6.1.6.1.5 Number::divide ( x, y )

/ MultiplicativeOperatorは除算を実行し、xとyの商を生成します。xは被除数で、yは除数です。ECMAScriptは整数での除算をおこないません。すべての除算演算のオペランドと結果は、倍精度浮動小数点数です。除算の結果は、IEEE 754-2019演算の仕様によって決まります。

6.1.6.1.6 Number::remainder ( n, d )

% MultiplicativeOperatorは、暗黙の除算から残りのオペランドを生成します。 nは被除数、dは除数です。

% 演算子で計算された浮動小数点剰余演算の結果は、IEEE 754-2019 で定義された「剰余」操作とは異なります。IEEE 754-2019 の「剰余」演算は、切り捨て除算ではなく丸め除算から剰余を計算するため、その動作は通常の整数剰余演算子の動作とは異なります。代わりにECMAScriptは、Javaの整数剰余演算子に類似した動作をする % を定義しています。これは、Cライブラリ関数 fmod と比較できます。

ECMAScript浮動小数点剰余演算の結果は、IEEE演算の規則によって決まります。

6.1.6.1.7 Number::add ( x, y )

+演算子は、xとyの加算を実行し、オペランドの合計を生成します。

加算は可換演算ですが、必ずしも連想的ではありません。

加算の結果は、IEEE 754-2019バイナリ倍精度演算の規則を使用して決定されます。

6.1.6.1.8 Number::subtract ( x, y )

-演算子は、数値型の2つのオペランドに適用されると減算を実行し、その差を生成します。 xは被減数で、yは減数です。 x-y が x +（-y）は常に同じ結果を生成します。

-演算子の結果は x +（-y）になります。

6.1.6.1.9 Number::leftShift ( x, y )

6.1.6.1.10 Number::signedRightShift ( x, y )

6.1.6.1.11 Number::unsignedRightShift ( x, y )

6.1.6.1.12 Number::lessThan ( x, y )

6.1.6.1.13 Number::equal ( x, y )

6.1.6.1.14 Number::sameValue ( x, y )

6.1.6.1.15 Number::sameValueZero ( x, y )

6.1.6.1.16 NumberBitwiseOp ( op, x, y )

6.1.6.1.17 Number::bitwiseAND ( x, y )

6.1.6.1.18 Number::bitwiseXOR ( x, y )

6.1.6.1.19 Number::bitwiseOR ( x, y )

6.1.6.1.20 Number::toString ( x )

抽象演算Number::toStringは、次のように数値xをString形式に変換します。

6.1.6.2 The BigInt Type

BigInt型は、数学的整数を表します。 値は任意のサイズにすることができ、特定のビット幅に限定されません。特に明記されていない限り、演算は数学に基づく正確な答えを返すように設計されています。バイナリ演算の場合、BigIntsは2の補数のバイナリ文字列として機能し、負の数はビットが無限に左側に設定されているものとして扱われます。

BigInt::unit の値は 1nです。

6.1.6.2.1 BigInt::unaryMinus ( x )

6.1.6.2.2 BigInt::bitwiseNOT ( x )

引数xはBigInt型です。
抽象演算BigInt :: bitwiseNOTは、xの補数を返します。 つまり、-x-1です。

6.1.6.2.3 BigInt::exponentiate ( base, exponent )

6.1.6.2.4 BigInt::multiply ( x, y )

xとyはBigInt型。
抽象演算BigInt :: multiplyは、xとyの乗算の結果を表すBigInt値を返します。

6.1.6.2.5 BigInt::divide ( x, y )

6.1.6.2.6 BigInt::remainder ( n, d )

6.1.6.2.7 BigInt::add ( x, y )

xとyはBigInt型。
抽象演算BigInt :: addは、xとyの合計をBigInt値で返します。

6.1.6.2.8 BigInt::subtract ( x, y )

xとyはBigInt型。
抽象演算BigInt :: subtractは、xからyを減算した結果をBigInt値で返します。

6.1.6.2.9 BigInt::leftShift ( x, y )

xとyはBigInt型。
抽象演算BigInt :: leftShiftは、次の手順を実行します。

6.1.6.2.10 BigInt::signedRightShift ( x, y )

xとyはBigInt型。
抽象演算BigInt :: signedRightShiftは、次の手順を実行します。

6.1.6.2.11 BigInt::unsignedRightShift ( x, y )

xとyはBigInt型。
抽象演算BigInt :: unsignedRightShiftは、次の手順を実行します。

BigInt型は実質的に符号なし右シフト演算子がない

6.1.6.2.12 BigInt::lessThan ( x, y )

xとyはBigInt型。
抽象演算BigInt :: lessThanは、xがyより小さい場合はtrueを返し、そうでない場合はfalseを返します。

6.1.6.2.13 BigInt::equal ( x, y )

xとyはBigInt型。
抽象演算BigInt :: equalは、xがyが同じ数学整数値を持つ場合はtrueを返し、そうでない場合はfalseを返します。

6.1.6.2.14 BigInt::sameValue ( x, y )

xとyはBigInt型。
抽象操作BigInt :: sameValueは、次の手順を実行します。

6.1.6.2.15 BigInt::sameValueZero ( x, y )

xとyはBigInt型。
抽象操作BigInt :: sameValueは、次の手順を実行します。

6.1.6.2.16 BinaryAnd ( x, y )

6.1.6.2.17 BinaryOr ( x, y )

6.1.6.2.18 BinaryXor ( x, y )

6.1.6.2.19 BigIntBitwiseOp ( op, x, y )

6.1.6.2.20 BigInt::bitwiseAND ( x, y )

6.1.6.2.21 BigInt::bitwiseXOR ( x, y )

6.1.6.2.22 BigInt::bitwiseOR ( x, y )

6.1.6.2.23 BigInt::toString ( x )

抽象演算BigInt :: toStringは、BigInt型のxを次の手順で文字列形式に変換します。

6.1.7 オブジェクト型(The Object Type)

アクセサプロパティ

データプロパティ

オブジェクトは論理的にはプロパティのコレクションです。
各プロパティは、データプロパティまたはアクセサプロパティのどちらかです。

• データプロパティは、キー値をECMAScript言語値とブール属性のセットに関連付けます。
• アクセサプロパティは、キー値を1つまたは2つのアクセサー関数、およびブール属性のセットに関連付けます。アクセサ関数は、プロパティに関連付けられているECMAScript言語値を格納または取得するために使用されます。

プロパティ名

プロパティはキー値を使用して識別されます。プロパティキー値は、ECMAScript文字列値またはシンボル値のいずれかです。空の文字列を含むすべての文字列と記号の値は、プロパティキーとして有効です。プロパティ名は、文字列値であるプロパティキーです。

整数インデックス

配列インデックス

整数インデックスは、正規の数値文字列（7.1.21を参照）で、+0または0 ≦ 2⁵³-1である整数文字列値のプロパティキーです。配列インデックスは、+0 ≦ i ＜ 2³²-1の範囲にある数値iの整数インデックスです。

プロパティキーは、プロパティとその値にアクセスするために使用されます。プロパティへのアクセスには2種類あります。値の取得と割り当てにそれぞれ対応するgetとsetです。 getおよびsetアクセスを介してアクセス可能なプロパティには、オブジェクト直接所持している独自のプロパティと、プロパティの継承関係を介して関連付けられたオブジェクトが提供しているプロパティの両方が含まれます。継承されたプロパティは、関連付けられたオブジェクトの独自のプロパティまたは継承されたプロパティのいずれかです。オブジェクトの各プロパティにはそれぞれ、そのオブジェクトの他の独自プロパティキー値とは異なるキー値が必要です。

すべてのオブジェクトは論理的にプロパティのコレクションですが、プロパティにアクセスする方法が異なるオブジェクトがあります。オブジェクトの複数の形式の定義については、6.1.7.2を参照してください。

6.1.7.1 プロパティ属性(Property Attributes)

ここでは、オブジェクトプロパティの状態の定義および説明をおこないます。
データプロパティのキー値は、表3に示す属性に関連付けられます。

アクセサープロパティは、キー値を表4にリストされている属性に関連付けます。

プロパティの属性の初期値が明示されていない場合は、表5で定義されているデフォルト値が使用されます。

6.1.7.2 オブジェクトの内部メソッドと内部スロット(Object Internal Methods and Internal Slots)

内部メソッド

ECMAScriptでのオブジェクトのセマンティクスは、内部メソッドと呼ばれるアルゴリズムによって指定されます。

ECMAScriptエンジンの各オブジェクトは、実行時の動作を定義する一連の内部メソッドに関連付けられています。
これらの内部メソッドはECMAScript言語の一部ではありません。これらは、この仕様によって説明目的で定義されています。
ただし、ECMAScriptの実装内の各オブジェクトは、それに関連付けられた内部メソッドの指定どおりに動作する必要があります。
これが実行方法は、実装によって決まります。

内部メソッド名は多態的です。つまり、異なるオブジェクトなら、同じ名前の内部メソッドでも異なるアルゴリズムが実行される可能性があります。内部メソッドを呼び出す実際のオブジェクトは、呼び出しの「ターゲット」です。オブジェクトがサポートしていない内部メソッドを使用しようとすると、TypeError例外がスローされます。

内部スロットは、オブジェクトに関連付けられ、さまざまなECMAScript仕様アルゴリズムによって使用される内部状態に対応しています。 内部スロットはオブジェクトのプロパティではなく、継承されません。 特定の内部スロット仕様に応じて、そのような状態は、ECMAScript言語タイプの値または特定のECMAScript仕様タイプの値で構成されます。 特に明記されていない限り、内部スロットはオブジェクトの作成プロセスの一部として割り当てられ、オブジェクトに動的に追加されない場合があります。 特に指定のない限り、内部スロットの初期値は未定義の値です。 この仕様内のさまざまなアルゴリズムは、内部スロットを持つオブジェクトを作成します。 ただし、ECMAScript言語では、内部スロットをオブジェクトに直接関連付ける方法はありません。

内部スロット

内部スロットは、オブジェクトに関連付けられ、さまざまなECMAScript仕様アルゴリズムによって使用される内部ステータスに対応しています。
内部スロットはオブジェクトのプロパティではなく、継承されません。

特定の内部スロット仕様に応じて、内部ステータスは、ECMAScript言語型の値または特定のECMAScript仕様型の値で構成されます。
特に明記されていない限り、内部スロットはオブジェクト作成時に割り当てられ、後から動的に追加されません。

特に指定のない限り、内部スロットの初期値はundefinedです。
この仕様内のアルゴリズムは、内部スロットを持つオブジェクトを作成します。
ただし、ECMAScript言語では、内部スロットをオブジェクトに直接関連付ける方法はありません。

二重角括弧[[]]

この仕様内で内部メソッドと内部スロットは、名前を二重角括弧[[]]で囲んで表現しています。

表6は、ECMAScriptコードによって作成または操作されるすべてのオブジェクトで使用される重要な内部メソッドをまとめたものです。
すべてのオブジェクトには、すべての重要な内部メソッドのアルゴリズムが必要です。
ただし、すべてのオブジェクトが必ずしも同じアルゴリズムを使用するわけではありません。

通常のオブジェクト

通常のオブジェクトは、次の基準をすべて満たします。

• 表6にリストされている内部メソッドの場合、オブジェクトは9.1で定義されているメソッドを使用します。
• オブジェクトに[[Call]]内部メソッドがある場合、9.2.1で定義されたものを使用します。
• オブジェクトに[[Construct]]内部メソッドがある場合、9.2.2で定義されたメソッドを使用します。

エキゾチックなオブジェクト

エキゾチックオブジェクトは、通常のオブジェクトではないオブジェクトです。

この仕様では、オブジェクトの内部メソッドによって、エキゾチックオブジェクトの種類を特定しています。

Arrayエキゾチックオブジェクトやバウンド関数エキゾチックオブジェクトなどはエキゾチックなオブジェクトですが、これらは内部メソッドが指定されています。これらのオブジェクトと同じ動作をするとしても、指定されたメソッドを持たないオブジェクトは、同じ種類とはみなされません。

表6などの「シグニチャー」列は、各内部メソッドの呼び出しパターンを説明しています。
呼び出しパターンには、括弧で囲まれた説明的なパラメーター名のリストが記載されています。パラメーター名がECMAScript型名と同じ場合、名前は型を示します。内部メソッドが明示的に値を返す場合、パラメーターリストの後に、記号「→」と戻り値の型名が記載されています。
「any」は、任意のECMAScript言語型であることを意味します。

内部メソッドは常に、メソッド呼び出しのターゲットであるオブジェクトにアクセスできます。

内部メソッドは、通常の完了またはスロー完了で、暗黙的に戻り値をラップした完了レコードを返します。

関数オブジェクト

コンストラクター

表7は、関数として呼び出されるオブジェクトがサポートすべき追加の内部メソッドをまとめたものです。
関数オブジェクトは、[[Call]]内部メソッドをサポートするオブジェクトです。
コンストラクタは、[[Construct]]内部メソッドをサポートするオブジェクトです。
[[Construct]]をサポートするすべてのオブジェクトは[[Call]]をサポートする必要があります。
つまり、すべてのコンストラクターは関数オブジェクトです。
したがって、コンストラクターは、コンストラクター関数またはコンストラクター関数オブジェクトと呼ばれることもあります。

通常のオブジェクトと標準のエキゾチックなオブジェクトの基本的な内部メソッドのセマンティクスは、9章で指定されています。仕様で定義されているエキゾチックなオブジェクトの内部メソッドが実装でサポートされていない場合、その使用を試みるとTypeError例外をスローする必要があります。

6.1.7.3 重要な内部メソッドの不変条件(Invariants of the Essential Internal Methods)

ECMAScriptエンジンのオブジェクトの内部メソッドは、以下に指定する不変条件のリストに準拠する必要があります。
通常のオブジェクトと、この仕様のすべての標準エキゾチックなオブジェクトは、これらの不変条件を維持します。
ECMAScriptプロキシオブジェクトは、[[ProxyHandler]]オブジェクトで呼び出されたトラップの結果に対するランタイムチェックによってこれらの不変条件を維持します。

エキゾチックなオブジェクトを提供する実装は、不変条件を維持する必要があります。
不変条件に違反すると、ECMAScriptコードに予期しない動作が発生し、セキュリティの問題が発生する可能性があります。
ただし、これらの不変条件に違反しても、実装のメモリの安全性が損なわれることはありません。

実装では、不変条件を適用せずに必須の内部メソッドの機能を実行する代替インターフェースを提供するなどの方法で、不変条件を回避できないようにする必要があります。

定義：

戻り値:

内部メソッドによって返される値は、次のいずれかを含む完了レコードです。

[[GetPrototypeOf]] ( )

[[SetPrototypeOf]] ( V )

[[IsExtensible]] ( )

[[PreventExtensions]] ( )

[[GetOwnProperty]] ( P )

[[DefineOwnProperty]] ( P, Desc )

[[HasProperty]] ( P )

[[Get]] ( P, Receiver )

[[Set]] ( P, V, Receiver )

[[Delete]] ( P )

[[OwnPropertyKeys]] ( )

[[Call]] ( )

[[Construct]] ( )

6.1.7.4 既知組み込みオブジェクト(Well-Known Intrinsic Objects)

既知組み込みオブジェクトは、この仕様のアルゴリズムで明示的に参照される組み込みオブジェクトであり、通常は固有のIDを持っています。
特に指定されていない限り、各組み込みオブジェクトは実際には、レルムごとに1つずつ、類似したオブジェクトのセットに対応しています。

この仕様で、%name%などの記述は、その名前に対応する、現在のレルムに関連付けられた組み込みオブジェクトを意味します。
%name.a.b%などの記述は、ECMAScriptコードが評価される前に、組み込みオブジェクト%name%が持つ aプロパティが持つ bプロパティにアクセスされることを意味します。カレントのレルムとその組み込みの決定については、8.3で説明します。

既知組み込みオブジェクトを表8に示します。

6.2 ECMAScript仕様型(ECMAScript Specification Types)

仕様型は、ECMAScript言語構造およびECMAScript言語型のセマンティクスを記述するために、アルゴリズム内で使用されるメタ値に対応します。
仕様型には、参照、リスト、完了、プロパティ記述子、字句環境、環境レコード、抽象クロージャ、およびデータブロックが含まれます。
仕様型値は仕様上で有効で、ECMAScriptの実装上の特定のエンティティーに必ず対応しているわけではありません。
仕様型の値は、ECMAScript式評価の中間結果を記述するために使用できますが、そのような値は、オブジェクトのプロパティまたはECMAScript言語変数の値として格納できません。

6.2.1 リストとレコードの仕様型(The List and Record Specification Types)

List型

List型は、new式、関数呼び出し、および、単純な順序付きリストが必要なアルゴリズムで、引数リスト（12.3.8を参照）について説明するために使用されます。
List型の値は、リスト要素を単純に順序付けたシーケンスです。シーケンスの長さは任意です。要素は、0から始まるインデックスを使用してランダムにアクセスできます。表記上の便宜上、配列のような構文を使用してリスト要素にアクセスできます。たとえば、arguments [2]は、List引数の3番目の要素を表します。

«

»

この仕様では、リテラル構文を使用して新しいリスト値を表しています。たとえば、«1、2»は、2つの要素を持ちそれぞれが特定の値で初期化されるList値を定義します。新しい空のリストは«»として表すことができます。

Record型

Record型は、この仕様のアルゴリズム内のデータ構造を定義します。Recordタイプの値は、1つ以上の名前付きフィールドで構成されています。各フィールドの値は、ECMAScript値、またはRecord型に関連付けられた名前で表される抽象値です。フィールド名は常に[[Value]]のように二重括弧で囲まれます。

この仕様では、オブジェクトリテラルのような構文を使用してRecord値を表します。 たとえば、{[[Field1]]:42,[[Field2]]:false,[[Field3]]:empty}は、それぞれが特定の値に初期化される3つのフィールドを持つRecord値を定義します。 フィールド名の順序は重要ではありません。 明示的にリストされていないフィールドは存在しないと見なされます。

仕様テキストとアルゴリズムでは、ドット表記を使用してRecord値の特定のフィールドを参照できます。たとえば、R.[[Field2]]は「Rが所有する[[Field2]]という名前のフィールド」という意味です。

Record型には名前を付けることができ、その名前は、プレフィックスとして記述します。
例：PropertyDescriptor {[[Value]]:42,[[Writable]]:false,[[Configurable]]:true}

6.2.2 Set仕様型とRelation仕様型(The Set and Relation Specification Types)

Set型

Set型は、メモリモデルで使用する、順序付けられていない要素のコレクションです。Set型の値は要素の単純なコレクションで、要素は2回以上出現しません。 要素をSet型に追加したり、Set型から削除したりできます。 Set型は、結合、交差、または互いに差し引かれます。

Relation型

Relation型は、Set型の制約を説明するために使用されます。Relation型の値は、値領域内の値を順序付けたペアのSet型です。
たとえば、イベントのRelation型は、順番を保持したイベントのペアのSet型です。
Relation型Rと、Rの値領域に2つの値aとbがある場合、a R bは順序付けられたペア(a、b)がRのメンバーであることを表します。
条件がいくつかある場合、Relation型は、一番小さな条件になります。

厳密な部分的順序

厳密な部分的順序とは、次の条件を満たすRelation型です。

厳密な総順序

厳密な総順序とは、次の条件を満たすRelation型です。

6.2.3 完了レコード仕様型(The Completion Record Specification Type)

Completion型

完了レコード

Completion型は、ローカルでない制御転送を実行するステートメント（break、continue、return、throw）の動作などの値と制御フローの実行時伝搬を説明するために使用されるRelation型です。

Completion型の値は、フィールドが表9で定義されているレコード値です。このような値は、完了レコードと呼ばれます。

突然の完了

「突然の完了」という用語は、[[Type]]値がnormal以外の完了を指します。

6.2.3.1 Await

アルゴリズムは次の通り。

詳細は次の通り。

上記の手順のすべての変数は、完了を除き、一時的であり、Awaitに関連する手順でのみ表示されます。

6.2.3.1.1 Await Fulfilled Functions

Await Fulfilled Functionsは匿名の組み込み関数であり、Await仕様デバイスの一部として使用され、promiseの解決を通常の完了として呼び出し元に伝達します。Await Fulfilled Functionsには、[[AsyncContext]]内部スロットがあります。

引数値を指定してAwait Fulfilled Functionsが呼び出されると、次の手順が実行されます。

Await Fulfilled Functionsの「length」プロパティは1です。

6.2.3.1.2 Await Rejected Functions

Await Rejected Functionsは匿名の組み込み関数であり、Await仕様デバイスの一部として使用され、突然のスロー完了として、promise拒否理由を呼び出し元に伝達します。Await Rejected Functionsには、[[AsyncContext]]内部スロットがあります。

引数reasonを指定してAwait Rejected Functionsが呼び出されると、以下のステップが実行されます。

Await Rejected Functionsの「length」プロパティは1です。

6.2.3.2 NormalCompletion

NormalCompletionは単一の引数を持つ抽象操作です。

これは以下のように定義されます。

6.2.3.3 ThrowCompletion

ThrowCompletionは単一の引数を持つ抽象操作です。

これは以下のように定義されます。

6.2.3.4 UpdateEmpty ( completionRecord, value )

引数completeRecordとvalueを持つ抽象操作UpdateEmptyは、以下のステップを実行します。

6.2.4 Reference仕様型(The Reference Specification Type)

Reference型

基本値コンポーネント

参照名コンポーネント

厳密参照フラグ

Reference型は解決済みの名前またはプロパティバインディングです。Reference型は、基本値コンポーネント、参照名コンポーネント、ブール値の厳密参照フラグの3つのコンポーネントで構成されます。 基本値コンポーネントは、undefined、オブジェクト、ブール、文字列、シンボル、数値、BigInt、または環境レコードのいずれかです。 基本値コンポーネントがundefinedのとき、バインディングの解決ができなかったことを示します。 参照名コンポーネントは、文字列またはシンボルの値です。

スーパーリファレンス

スーパーリファレンスは、superキーワードを使用して作成される名前バインディングであるReference型です。 スーパーリファレンスにはthisValueコンポーネントが追加されており、そのベース値コンポーネントが環境レコードになることはありません。

この仕様では、次の抽象操作を使用して参照を操作します。

6.2.4.1 GetBase ( V )

6.2.4.2 GetReferencedName ( V )

6.2.4.3 IsStrictReference ( V )

6.2.4.4 HasPrimitiveBase ( V )

6.2.4.5 IsPropertyReference ( V )

6.2.4.6 IsUnresolvableReference ( V )

6.2.4.7 IsSuperReference ( V )

6.2.4.8 GetValue ( V )

6.2.4.9 PutValue ( V, W )

6.2.4.10 GetThisValue ( V )

6.2.4.11 InitializeReferencedBinding ( V, W )

6.2.5 プロパティ記述子仕様型(The Property Descriptor Specification Type)

プロパティ記述子

PropertyDescriptor型

プロパティ記述子型は、オブジェクトプロパティ属性の操作と具体化を説明するために使用されます。プロパティ記述子型の値はレコードです。各フィールドの名前は属性名であり、その値は6.1.7.1で指定している属性値です。さらに、任意のフィールドが存在する場合と存在しない場合があります。この仕様内でプロパティ記述子レコードのリテラル記述にタグを付けるために使用されるスキーマ名は「PropertyDescriptor」です。

プロパティ記述子の値は、特定のフィールドの有無で、データプロパティ記述子とアクセサープロパティ記述子に分類できます。データプロパティ記述子は、[[Value]]または[[Writable]]というフィールドを持つ記述子です。アクセサープロパティ記述子は、[[Get]]または[[Set]]というフィールドを持つ記述子です。プロパティ記述子には、[[Enumerable]]および[[Configurable]]というフィールドがあります。プロパティ記述子の値は、データプロパティ記述子とアクセサープロパティ記述子の両方になることはできません。ただし、どちらでもない場合もあります。汎用プロパティ記述子は、データプロパティ記述子でもアクセサープロパティ記述子でもないプロパティ記述子値です。完全に入力されたプロパティ記述子は、アクセサープロパティ記述子またはデータプロパティ記述子のどちらかであり、それぞれ対応する表3または表4で定義されているすべてのフィールドを持っています。

この仕様では、次の抽象操作を使用して、プロパティ記述子の値を操作します。

6.2.5.1 IsAccessorDescriptor ( Desc )

抽象操作IsAccessorDescriptorがプロパティ記述子Descで呼び出されると、次の手順が実行されます。

6.2.5.2 IsDataDescriptor ( Desc )

抽象演算IsDataDescriptorがプロパティ記述子Descで呼び出されると、次の手順が実行されます。

6.2.5.3 IsGenericDescriptor ( Desc )

抽象操作IsGenericDescriptorがプロパティ記述子Descで呼び出されると、次の手順が実行されます。

6.2.5.4 FromPropertyDescriptor ( Desc )

抽象操作FromPropertyDescriptorがプロパティ記述子Descで呼び出されると、次の手順が実行されます。

6.2.5.5 ToPropertyDescriptor ( Obj )

抽象演算ToPropertyDescriptorがオブジェクトObjで呼び出されると、次の手順が実行されます。

6.2.5.6 CompletePropertyDescriptor ( Desc )

抽象操作CompletePropertyDescriptorがプロパティ記述子 Descで呼び出されると、次の手順が実行されます。

6.2.6 レキシカル環境と環境レコードの仕様型(The Lexical Environment and Environment Record Specification Types)

レキシカル環境と環境レコード型は、ネストされた関数とブロックでの名前解決の動作を説明するために使用されます。これらの型とそれらに対する操作は、8.1で定義されています。

6.2.7 抽象クロージャ仕様型(The Abstract Closure Specification Type)

抽象クロージャ

抽象クロージャ仕様型は、値のコレクションとともにアルゴリズムのステップを参照するために使用されます。抽象クロージャはメタ値であり、closure（arg1、arg2）などの関数アプリケーションスタイルを使用して呼び出されます。抽象操作と同様に、呼び出しは、抽象クロージャによって記述されたアルゴリズムのステップを実行します。

抽象クロージャを作成するアルゴリズムステップでは、値は「キャプチャ」という動詞でキャプチャされ、その後にエイリアスのリストが続きます。 抽象クロージャが作成されると、その時点で各エイリアスに関連付けられている値が取得されます。抽象クロージャが呼び出されたときに実行されるアルゴリズムを指定する手順では、キャプチャされた各値は、値のキャプチャに使用されたエイリアスによって参照されます。

抽象クロージャが完了レコードを返す場合、そのレコードの[[Type]]はnormalまたはthrowでなければなりません。

次の例のように、抽象クロージャは他のアルゴリズムの一部としてインラインで作成されます。

6.2.8 データブロック(Data Blocks)

データブロック仕様型は、バイトサイズ（8ビット）の数値の明確で変更可能なシーケンスを記述するために使用されます。データブロック値は、初期値が0である固定バイト数で作成されます。

この仕様内では、配列のような構文を使用して、データブロック値の個々のバイトにアクセスします。この表記は、データブロック値を、0から始まる整数インデックス付きのバイトシーケンスとして表します。 たとえば、dbが5バイトのデータブロック値の場合、db [2]を使用して3番目のバイトにアクセスできます。

共有データブロック

複数のエージェントから同時に参照可能なメモリに常駐するデータブロックを、共有データブロックと呼びます。共有データブロックには、（共有データブロックの値を同等にテストするための）IDがあります。これはアドレスフリーです。つまりプロセスでマップしているブロックの仮想アドレスではなく、メモリ内の一連の場所に関連付けられています。2つのデータブロックが等しいのは、それらに含まれる場所のセットが等しい場合のみです。そうでない場合、それらは等しくなく、それらに含まれるロケーションのセットの共通部分は空になります。
共有データブロックはデータブロックと区別できます。

共有データブロックのセマンティクスは、メモリモデルによって共有データブロックイベントを使用して定義されます。以下の抽象操作は、共有データブロックイベントを参照し、評価セマンティクスとメモリモデルのイベントセマンティクスの間のインターフェイスとして機能します。イベントは、メモリモデルがフィルターとして機能する実行候補を形成します。 完全なセマンティクスについては、メモリモデルを参照してください。

共有データブロックイベントは、メモリモデルで定義されたレコードによってモデル化されます。

この仕様では、次の抽象演算を使用して、データブロックの値を操作します。

6.2.8.1 CreateByteDataBlock ( size )

抽象操作CreateByteDataBlockが整数の引数sizeで呼び出されると、次の手順が実行されます。

6.2.8.2 CreateSharedByteDataBlock ( size )

抽象操作CreateSharedByteDataBlockが整数の引数sizeで呼び出されると、次の手順が実行されます。

6.2.8.3 CopyDataBlockBytes ( toBlock, toIndex, fromBlock, fromIndex, count )

抽象操作CopyDataBlockBytesが呼び出されると、次の手順が実行されます。